A Behavior-based Analysis of Modal Problems Leonardo Trujillo Enrique Naredo Yuliana Martínez Instituto Tecnológico de Tijuana, México

Source URL: eplex.cs.ucf.edu

• Mathematical optimization
• Cybernetics
• Evolution
• Applied mathematics
• Genetic algorithms
• Numerical analysis
• Systems science
• Evolutionary algorithm
• Evolutionary computation
• Genetic operator
• Fitness landscape
• Genetic programming

A Larger Decidable Semiunification Problem Brad Lushman University of Waterloo Gordon V. Cormack University of Waterloo

Source URL: plg.uwaterloo.ca

• Theoretical computer science
• Mathematical logic
• Logic
• Automated theorem proving
• Logic programming
• Logic in computer science
• Type theory
• Lambda calculus
• Substitution
• Symbol
• Directed acyclic graph
• Unification

114 Genome Informatics 16(2): 114–Comparison of Protein Structures by Multi-Objective Optimization

Source URL: www.jsbi.org

• Bioinformatics
• Operations research
• Computational phylogenetics
• Protein structure
• Mathematical optimization
• Multiple sequence alignment
• Dynamic programming
• Docking
• Linear programming
• Algorithm

Mathematical Programming manuscript No. (will be inserted by the editor) Fran¸cois Margot Exploiting Orbits in Symmetric ILP

Source URL: wpweb2.tepper.cmu.edu

Decision-aid Methodology for the School Bus Routing and Scheduling Problem Michela Spada, ROSO-IMA-EPFL Michel Bierlaire, ROSO-IMA-EPFL Thomas Liebling, ROSO-IMA-EPFL

Source URL: www.strc.ch

• Operations research
• Combinatorial optimization
• Mathematical optimization
• NP-complete problems
• Travelling salesman problem
• Integer programming
• School bus
• Branch and bound
• Bus
• Heuristic
• Lagrangian relaxation

Scientific Report First name / Family name Francesco Santini

Source URL: fellowship.ercim.eu

• Constraint programming
• Mathematical optimization
• Software engineering
• Computer programming
• Constraint automaton
• Computing
• Constraint satisfaction problem
• Constraint satisfaction
• Constraint
• Reo Coordination Language
• Constrained optimization
• Multi-agent system

Scalable Semidefinite Relaxation for Maximum A Posterior Estimation

Source URL: geometry.stanford.edu

• Mathematical optimization
• Operations research
• Mathematical analysis
• Linear programming
• Convex optimization
• Real algebraic geometry
• Semidefinite programming
• Relaxation
• Approximation algorithm
• Nonlinear programming
• Duality
• Quadratically constrained quadratic program

Nuprl's Inductive Logical Forms

Source URL: www.ai4fm.org

• Type theory
• Mathematical logic
• Logic
• Hierarchy
• Structure
• Reasoning
• Automated theorem proving
• Epistemology
• Inductive reasoning
• Nuprl
• Logic programming

LOGICAL STEP-INDEXED LOGICAL RELATIONS DEREK DREYER, AMAL AHMED, AND LARS BIRKEDAL MPI-SWS, Germany e-mail address: Indiana University, USA e-mail address:

Source URL: www.ccs.neu.edu

• Logic
• Mathematical logic
• Abstraction
• Predicate logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Constructible universe
• Quantifier
• First-order logic

The Vehicle Routing Problem with Discrete Split Delivery and Time Windows Ilaria Vacca Matteo Salani STRC 2009

Source URL: www.strc.ch

• Operations research
• Mathematical optimization
• Numerical analysis
• Mathematics
• NP-complete problems
• Vehicle routing problem
• Dynamic programming
• Column generation
• Optimization problem
• XTR
• DantzigWolfe decomposition